Constraint logic programming - PDFSEARCH.IO - Document Search Engine

Constraint logic programming
Results: 401

#	Item
291	A Delegation-Based Collaborative Robotic Framework ? Patrick Doherty, Fredrik Heintz, and David Land´en Dept. of Computer and Information Science, Link¨oping University, [removed]Link¨oping, Sweden {patdo, frehe, davla} Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-01-19 11:40:49 Software engineering Logic programming Programming paradigms Concurrent computing Constraint logic programming Constraint satisfaction Actor model Goal node Constraint programming Computer programming Computing
292	2) Some prerequisites for a study of the evolution of cognition in the animal kingdom foundations Add to Reading List Source URL: crmenant.free.fr Language: English - Date: 2014-07-04 05:45:19 Logic programming Information Science Programming paradigms Constraint programming Constraint satisfaction
293	A Modal Perspective on Path Constraints Natasha Alechina∗ St´ephane Demri† Maarten de Rijke‡ Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2009-09-20 10:52:56 Constraint programming Temporal logic Model theory Formal languages Modal logic Philosophical logic Satisfiability Boolean satisfiability problem Logic programming Logic Theoretical computer science Mathematical logic
294	State space search with prioritised soft constraints Brian Logan School of Computer Science and IT, University of Nottingham, Nottingham NG8 1BB, UK. Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2009-09-11 12:40:28 Software engineering Applied mathematics Constraint Mathematical optimization Search algorithm Constraint optimization Constraint logic programming Constraint programming Theoretical computer science Constraint satisfaction
295	Walter Hower and Winfried H. Graf Research in Constraint-Based Layout, Visualization, CAD, and Related Topics: A Bibliographical Survey Add to Reading List Source URL: scidok.sulb.uni-saarland.de Language: English - Date: 2012-02-16 07:03:49 Computing Constraint satisfaction Local consistency German Research Centre for Artificial Intelligence Constraint SCIP Computer-aided design Logic programming Constraint programming Software engineering Computer programming
296	State space search with prioritised soft constraints Brian Logan School of Computer Science and IT, University of Nottingham, Nottingham NG8 1BB, UK. Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2001-05-10 13:21:07 Software engineering Applied mathematics Constraint Mathematical optimization Search algorithm Constraint optimization Constraint logic programming Constraint programming Theoretical computer science Constraint satisfaction
297	Embracing Occlusion in Specifying the Indirect Eects of Actions Joakim Gustafsson Department of Computer and Information Science Linkoping University Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-03 06:07:34 Mathematics Knowledge representation Artificial intelligence Epistemology Frame problem Integral transforms Circumscription 8T Constraint algorithm Logic programming Mathematical analysis Science
298	Deductive Planning with Temporal Constraints using TAL Martin Magnusson and Patrick Doherty I Link6pings universitet, Link6ping[removed], Sweden patdo@ida, liu. se, Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-01-23 11:38:33 Theoretical computer science Knowledge representation Epistemology Logic in computer science Constraint logic programming Constraint programming Event calculus First-order logic Forcing Mathematical logic Logic Logic programming
299	Partial Replay of Long-Running Applications Alvin Cheung, Armando Solar-Lezama, and Samuel Madden MIT CSAIL {akcheung, asolar, madden}@csail.mit.edu Add to Reading List Source URL: db.csail.mit.edu Language: English - Date: 2011-08-15 13:47:43 Constraint programming Software bugs Formal methods Logic in computer science Memory management Concolic testing Symbolic execution Debugger Satisfiability Modulo Theories Software engineering Theoretical computer science Computing
300	Optimizing the Chase: Scalable Data Integration under Constraints George Konstantinidis Jose´ Luis Ambite Add to Reading List Source URL: www.vldb.org Language: English - Date: 2014-09-15 04:07:20 Data management Logic programming Model theory Computing Artificial intelligence Constraint programming Programming paradigms Data integration

UPDATE